20:28
2026-05-20
techcrunch.com
artificial-intelligence
OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI claims its new general-purpose reasoning model has produced an original mathematical proof disproving a famous unsolved geometry conjecture first posed by Paul Erdős in 1946, marking what the c…